H. Sipma: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Microbiology of synthesis gas fermentation for biofuel production

Anne M Henstra, Jan Sipma, Arjen Rinzema, Alfons JM Stams

Journal:

Current Opinion in Biotechnology

Year:

2007

Language:

english

File:

PDF, 238 KB

english, 2007

2

A 5000 h RF life test on 330 W RF-LDMOS transistors for radars applications

O. Latry, P. Dherbécourt, K. Mourgues, H. Maanane, J.P. Sipma, F. Cornu, P. Eudeline, M. Masmoudi

Journal:

Microelectronics Reliability

Year:

2010

Language:

english

File:

PDF, 416 KB

english, 2010

3

Characterization and modeling of hot carrier injection in LDMOS for L-band radar application

L. Lachéze, O. Latry, P. Dherbécourt, K. Mourgues, V. Purohit, H. Maanane, J.P. Sipma, F. Cornu, P. Eudeline

Journal:

Microelectronics Reliability

Year:

2011

Language:

english

File:

PDF, 770 KB

english, 2011

4

Deductive verification of real-time systems using STeP

Nikolaj S. Bjørner, Zohar Manna, Henny B. Sipma, Tomás E. Uribe

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 351 KB

english, 2001

5

Diversity and ecophysiological features of thermophilic carboxydotrophic anaerobes

Tatyana G. Sokolova, Anne-Meint Henstra, Jan Sipma, Sofiya N. Parshina, Alfons J.M. Stams, Alexander V. Lebedinsky

Journal:

FEMS Microbiology Ecology

Year:

2009

Language:

english

File:

PDF, 152 KB

english, 2009

6

New volatile components of roasted coffee

Stoffelsma, J., Sipma, G., Kettenes, D. K., Pypker, J.

Journal:

Journal of Agricultural and Food Chemistry

Year:

1968

Language:

english

File:

PDF, 465 KB

english, 1968

7

Measurement of Self-Heating Temperature in AlGaN/GaN HEMTs by Using Cerium Oxide Micro-Raman Thermometers

Brocero, G., Guhel, Y., Eudeline, P., Sipma, J. P., Gaquiere, C., Boudart, B.

Journal:

IEEE Transactions on Electron Devices

Year:

2019

Language:

english

File:

PDF, 1.09 MB

english, 2019

8

Development of a novel process for the biological conversion of H2S and methanethiol to elemental sulfur

Jan Sipma, Albert J. H. Janssen, Look W. Hulshoff Pol, Gatze Lettinga

Journal:

Biotechnology and Bioengineering

Year:

2003

Language:

english

File:

PDF, 154 KB

english, 2003

9

High-rate sulfate reduction at high salinity (up to 90 mS.cm−1) in mesophilic UASB reactors

Marcus V. G. Vallero, Jan Sipma, Gatze Lettinga, Piet N. L. Lens

Journal:

Biotechnology and Bioengineering

Year:

2004

Language:

english

File:

PDF, 240 KB

english, 2004

10

Treatment of halogenated organic compounds and monitoring of microbial dynamics in up-flow fixed bed reactors under sequentially alternating pollutant scenarios

Maria A.E. Emanuelsson, M. Begoña Osuna, Jan Sipma, Paula M.L. Castro

Journal:

Biotechnology and Bioengineering

Year:

2008

Language:

english

File:

PDF, 282 KB

english, 2008

11

Essential oils of five Tanacetum vulgare genotypes

E. Héthelyi, P. Tétényi, J.J. Kettenes-van den Bosch, C.A. Salemink, W. Heerma, C. Versluis, J. Kloosterman, G. Sipma

Journal:

Year:

1981

Language:

english

File:

PDF, 288 KB

english, 1981

12

Biological nutrient removal in an MBR treating municipal wastewater with special focus on biological phosphorus removal

Hector Monclús, Jan Sipma, Giuliana Ferrero, Ignasi Rodriguez-Roda, Joaquim Comas

Journal:

Bioresource Technology

Year:

2010

Language:

english

File:

PDF, 889 KB

english, 2010

13

Comparison of removal of pharmaceuticals in MBR and activated sludge systems

Jan Sipma, Begoña Osuna, Neus Collado, Hector Monclús, Giuliana Ferrero, Joaquim Comas, Ignasi Rodriguez-Roda

Journal:

Year:

2010

Language:

english

File:

PDF, 229 KB

english, 2010

14

Optimization of biological nutrient removal in a pilot plant UCT-MBR treating municipal wastewater during start-up

H. Monclús, J. Sipma, G. Ferrero, J. Comas, I. Rodriguez-Roda

Journal:

Year:

2010

Language:

english

File:

PDF, 789 KB

english, 2010

15

Isolation of the sesquiterpene alcohol (−)-pacifigorgiol from valeriana officinalis

R. Bos, H. Hendriks, J. Kloosterman, G. Sipma

Journal:

Year:

1986

Language:

english

File:

PDF, 203 KB

english, 1986

16

A structure of faurinone, a sesquiterpene ketone isolated from valeriana officinalis

R. Bos, H. Hendriks, J. Kloosterman, G. Sipma

Journal:

Year:

1983

Language:

english

File:

PDF, 211 KB

english, 1983

17

Isolation and identification of valerenane sesquiterpenoids from Valeriana officinalis

R. Bos, H. Hendriks, A.P. Bruins, J. Kloosterman, G. Sipma

Journal:

Year:

1985

File:

PDF, 270 KB

1985

18

Thermophilic sulphate reduction in upflow anaerobic sludge bed reactors under acidifying conditions

J. Sipma, P. Lens, A. Vieira, Y. Miron, J.B. van Lier, L.W. Hulshoff Pol, G. Lettinga

Journal:

Process Biochemistry

Year:

1999

Language:

english

File:

PDF, 246 KB

english, 1999

19

The structure of mucidone, a metabolite of a streptomyces species

G. Sipma, B. van der Wal, D.K. Kettenes

Journal:

Tetrahedron Letters

Year:

1972

Language:

english

File:

PDF, 113 KB

english, 1972

20

Carbon monoxide conversion by anaerobic bioreactor sludges

Jan Sipma, Piet N.L. Lens, Alfons J.M. Stams, Gatze Lettinga

Journal:

FEMS Microbiology Ecology

Year:

2003

Language:

english

File:

PDF, 338 KB

english, 2003

21

Checking Finite Traces using Alternating Automata

Bernd Finkbeiner, Henny Sipma

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 298 KB

english, 2001

22

Some new constituents of roasted cocoa: (Short communication)

B. van der Wal, G. Sipma, D. K. Kettenes, A. Th. J. Semper

Journal:

Recueil des Travaux Chimiques des Pays-Bas

Year:

1968

Language:

english

File:

PDF, 102 KB

english, 1968

23

The structure of davanone a new sesquiterpene from davana: (Artemisia pallens, Wall.)

G. Sipma, B. van der Wal

Journal:

Recueil des Travaux Chimiques des Pays-Bas

Year:

1968

Language:

english

File:

PDF, 242 KB

english, 1968

24

New musk odorants VI. The formation of 1,1-dimethyl-7-isopropyltetralin via a novel rearrangement-dehydrogenation of longifolene

D. K. Kettenes, J. B. H. van Lierop, B. van der Wal, G. Sipma

Journal:

Recueil des Travaux Chimiques des Pays-Bas

Year:

1969

Language:

english

File:

PDF, 313 KB

english, 1969

25

Boekbesprekingen

P. Maximilianus, P. Sipma, J. A. Van Praag, G. J. Geers, H. Sparnaay, Win Roukens, G. Kloeke, J. A. Huisman, J. Swart, Amy Van Marken, A. C. Bouman

Journal:

Year:

1959

Language:

dutch

File:

PDF, 1.04 MB

dutch, 1959

26

Deductive verification of alternating systems

Matteo Slanina, Henny B. Sipma, Zohar Manna

Journal:

Formal Aspects of Computing

Year:

2008

Language:

english

File:

PDF, 1.82 MB

english, 2008

27

The ‘Cash-Point’ Service: A Verification Case Study Using STeP

Anca Browne, Bernd Finkbeiner, Zohar Manna, Henny Sipma

Journal:

Formal Aspects of Computing

Year:

2000

Language:

english

File:

PDF, 45 KB

english, 2000

28

Effect of carbon monoxide, hydrogen and sulfate on thermophilic (55°C) hydrogenogenic carbon monoxide conversion in two anaerobic bioreactor sludges

J. Sipma, R.J.W. Meulepas, S.N. Parshina, A.J.M. Stams, G. Lettinga, P.N.L. Lens

Journal:

Applied Microbiology and Biotechnology

Year:

2004

Language:

english

File:

PDF, 157 KB

english, 2004

29

Carbon monoxide conversion by thermophilic sulfate-reducing bacteria in pure culture and in co-culture withCarboxydothermus hydrogenoformans

S. N. Parshina, S. Kijlstra, A. M. Henstra, J. Sipma, C. M. Plugge, A. J. M. Stams

Journal:

Applied Microbiology and Biotechnology

Year:

2005

Language:

english

File:

PDF, 153 KB

english, 2005

30

H2enrichment from synthesis gas byDesulfotomaculumcarboxydivoransfor potential applications in synthesis gas purification and biodesulfurization

Jan Sipma, M. Begoña Osuna, Sofiya N. Parshina, Gatze Lettinga, Alfons J. M. Stams, Piet N. L. Lens

Journal:

Applied Microbiology and Biotechnology

Year:

2007

Language:

english

File:

PDF, 216 KB

english, 2007

31

IP3-induced Ca2+release in A7r5 vascular smooth-muscle cells represents a partial emptying of the stores and not an all-or-none Ca2+release of separate quanta

L. Missiaen, H. Sipma, J. B. Parys, P. De Smet, G. Callewaert, E. Hill, T. V. McCarthy, H. De Smedt

Journal:

Pflügers Archiv European Journal of Physiology

Year:

1999

Language:

english

File:

PDF, 67 KB

english, 1999

32

Collecting Statistics Over Runtime Executions

Bernd Finkbeiner, Sriram Sankaranarayanan, Henny B. Sipma

Journal:

Formal Methods in System Design

Year:

2005

Language:

english

File:

PDF, 1.34 MB

english, 2005

33

Constructing invariants for hybrid systems

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna

Journal:

Formal Methods in System Design

Year:

2008

Language:

english

File:

PDF, 613 KB

english, 2008

34

A fungitoxic sesquiterpene from Hansfordia pulvinata

Y. Tirilly, J. Kloosterman, G. Sipma, J.J. Kettenes-Van Den Bosch

Journal:

Year:

1983

Language:

english

File:

PDF, 215 KB

english, 1983

35

Preface

Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny Sipma

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 54 KB

english, 2006

36

Collecting Statistics over Runtime Executions

Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 207 KB

english, 2002

37

Hydrogenogenic CO Conversion in a Moderately Thermophilic (55 °C) Sulfate-Fed Gas Lift Reactor: Competition for CO-Derived H2

Jan Sipma, Gatze Lettinga, Alfons J. M. Stams, Piet N. L. Lens

Journal:

Biotechnology Progress

Year:

2006

Language:

english

File:

PDF, 144 KB

english, 2006

38

Verifying Temporal Properties of Reactive Systems: A STeP Tutorial

Nikolaj S. Bjørner, Anca Browne, Michael A. Colón, Bernd Finkbeiner, Zohar Manna, Henny B. Sipma, Tomás E. Uribe

Journal:

Formal Methods in System Design

Year:

2000

Language:

english

File:

PDF, 254 KB

english, 2000

39

Deductive Model Checking

Henny B. Sipma, Tomás E. Uribe, Zohar Manna

Journal:

Formal Methods in System Design

Year:

1999

Language:

english

File:

PDF, 306 KB

english, 1999

40

Checking Finite Traces Using Alternating Automata

Bernd Finkbeiner, Henny Sipma

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 196 KB

english, 2004

41

Fire Containment in Planar Graphs

Louis Esperet, Jan van den Heuvel, Frédéric Maffray, Félix Sipma

Journal:

Journal of Graph Theory

Year:

2012

Language:

english

File:

PDF, 624 KB

english, 2012

42

The phospholipase C activating P2U purinoceptor also inhibits cyclicAMP formation in DDT1 MF-2 smooth muscle cells

Henk Sipma, Adriaan den Hertog, Adriaan Nelemans

Journal:

European Journal of Pharmacology: Molecular Pharmacology

Year:

1994

Language:

english

File:

PDF, 594 KB

english, 1994

43

The role of inositol 1,3,4,5-tetrakisphosphate in internal Ca2+ mobilization following histamine H1 receptor stimulation in DDT1 MF-2 cells

Lucie Van der Zee, Henk Sipma, Adriaan Nelemans, Adriaan Den Hertog

Journal:

European Journal of Pharmacology: Molecular Pharmacology

Year:

1995

Language:

english

File:

PDF, 727 KB

english, 1995

44

Decision procedures for term algebras with integer constraints

Ting Zhang, Henny B. Sipma, Zohar Manna

Journal:

Information and Computation

Year:

2006

Language:

english

File:

PDF, 569 KB

english, 2006

45

Modulation of inositol 1,4,5-trisphosphate binding to the various inositol 1,4,5-trisphosphate receptor isoforms by thimerosal and cyclic ADP-ribose

Sara Vanlingen, Henk Sipma, Patrick De Smet, Geert Callewaert, Ludwig Missiaen, Humbert De Smedt, Jan B. Parys

Journal:

Biochemical Pharmacology

Year:

2001

Language:

english

File:

PDF, 167 KB

english, 2001

46

Synergism between hypotonically induced calcium release and fatty acyl-CoA esters induced calcium release from intracellular stores

Ludwig Missiaen, Humbert De Smedt, Jan B Parys, Henk Sipma, Karlien Maes, Sara Vanlingen, Ilse Sienaert, Willy Van Driessche, Rik Casteels

Journal:

Year:

1997

Language:

english

File:

PDF, 768 KB

english, 1997

47

Agonist-induced down-regulation of type 1 and type 3 inositol 1,4,5-tris-phosphate receptors in A7r5 and DDT1 MF-2 smooth muscle cells

Henk Sipma, Leo Deelman, Humbert De Smedt, Ludwig Missiaen, Jan B. Parys, Sara Vanlingen, Robert H. Henning, Rik Casteels

Journal:

Year:

1998

Language:

english

File:

PDF, 1.19 MB

english, 1998

48

Modulation of type 1, 2 and 3 inositol 1,4,5-trisphosphate receptors by cyclic ADP-ribose and thimerosal

S. Vanlingen, H. Sipma, L. Missiaen, H.De Smedt, P.De Smet, R. Casteels, J.B. Parys

Journal:

Year:

1999

Language:

english

File:

PDF, 188 KB

english, 1999

49

The effect of the PKC inhibitor GF109203X on the release of Ca2+ from internal stores and Ca2+ entry in DDT1 MF-2 cells

Henk Sipma, Lucie van der Zee, Jan van den Akker, Adriaan den Hertog, Adriaan Nelemans

Journal:

British Journal of Pharmacology

Year:

1996

Language:

english

File:

PDF, 1.39 MB

english, 1996

50

Plasma membrane Ca2+ pumping plays a prominent role in adenosine A1 receptor mediated changes in [Ca2+]i in DDT1 MF-2 cells

Henk Sipma, Bertil B. Fredholm, Adriaan Den Hertog, Adriaan Nelemans

Journal:

European Journal of Pharmacology

Year:

1996

Language:

english

File:

PDF, 1.01 MB

english, 1996

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски